Conf . on Intelligent Robots and Systems ( IROS )

نویسندگان

  • David J. Musliner
  • Robert P. Goldman
  • Michael J. S. Pelican
چکیده

We are developing autonomous control systems for mission-critical domains that require hard real-time performance guarantees. To automatically build reac-tive plans that meet these requirements, we use formal veriication (model checking) techniques to assess the quality of plans as they are built. The veriica-tion process uses precise timed automaton models of the executive that will run the resulting reactive plan. This reeexive modeling allows our system to formally verify not just that its plans are correct, but that they will be executed correctly.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

First results in eliminating crosstalk and noise by applying pseudo-random sequences to mobile robot sonar sensing

Crosstalk is one of the most severe problems in conventional mobile robot sonar sensing. This paper addresses the crosstalk-problem and presents first and promising results of a new approach which enables a mobile robot to fire its sonar sensors simultaneously while totally eliminating misreadings caused by crosstalk or external ultrasound sources. This is achieved by carefully designing the em...

متن کامل

Task-model based human robot cooperation using vision

We are currently engaged in advancing research in human-robot cooperation with the goal of realizing service robots in homes and offices. In order to assist humans, robots must correctly identify the tasks that humans intend to perform, and then devise strategies to perform those tasks. To accomplish this, we first define the framework of a task model for assisting a human's work. The robot the...

متن کامل

On The Revised Theory Of Intelligent Machines

After several years of experience the Theory of Intelligent Machines has been reformulated analytically to reflect the present state of the art. The functions of an Intelligent Machines are executed by Intelligent Controls. The Principle of Increasing Precision with Decreasing Intelligence is used to form a hierarchical structure of the control systems. Distributed Intelligence in compatible wi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008